Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures
نویسندگان
چکیده
The classical probabilistic entailment problem is to determine upper and lower bounds on the probability of formulas, given a consistent set of probabilistic assertions. We generalize this problem by omitting the consistency assumption and, thus, provide a general framework for probabilistic reasoning under inconsistency. To do so, we utilize inconsistency measures to determine probability functions that are closest to satisfying the knowledge base. We illustrate our approach on several examples and show that it has both nice formal and computational properties. Draft 2015-04-20
منابع مشابه
Consistent Belief Reasoning in the Presence of Inconsistency
Since everything is a consequence of an inconsistency, classical logics are not useful in modeling the reasoning of an agent who has inconsistent beliefs. In this paper, we differentiate consistent beliefs from inconsistent beliefs. We propose two belief operators B c and B, standing for consistent belief and belief, respectively. B c has the modus ponens property, by which the agent is able to...
متن کاملA Connectionist Treatment of Negation and Inconsistency
A connectionist model capable of encoding positive as well as negated knowledge and using such knowledge during rapid reasoning is described. The model explains how an agent can hold inconsistent beliefs in its long-term memory without being “aware” that its beliefs are inconsistent, but detect a contradiction whenever inconsistent beliefs that are within a certain inferential distance of each ...
متن کاملInconsistency measures for probabilistic logics
Inconsistencies in knowledge bases are of major concern in knowledge representation and reasoning. In formalisms that employ model-based reasoning mechanisms inconsistencies render a knowledge base useless due to the non-existence of a model. In order to restore consistency an analysis and understanding of inconsistencies is mandatory. Recently, the field of inconsistency measurement has gained...
متن کاملConsolidation of Probabilistic Knowledge Bases by Inconsistency Minimization
Consolidation describes the operation of restoring consistency in an inconsistent knowledge base. Here we consider this problem in the context of probabilistic conditional logic, a language that focuses on probabilistic conditionals (if-then rules). If a knowledge base, i. e., a set of probabilistic conditionals, is inconsistent traditional model-based inference techniques are not applicable. I...
متن کاملPLINI: A Probabilistic Logic Program Framework for Inconsistent News Information
News sources are reliably unreliable. Different news sources may provide significantly differing reports about the same event. Often times, even the same news source may provide widely varying data over a period of time about the same event. Past work on inconsistency management and paraconsistent logics assume that we have “clean” definitions of inconsistency. However, when reasoning about eve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015